#!/bin/bash

FILE=$1
FILE_NAME=${FILE##*/}

NAME=`grep '% Axioms   :' $FILE |sed 's/^[^:]*: \(.*\)$/\1/'`
SHORT=`echo $FILE_NAME |sed 's/\..*//'`
FAMILY=`echo $FILE_NAME |sed 's/\(......\).*/\1/'`

echo "$FAMILY	$SHORT	$NAME"
